Future<Program> solution_for_conditions(Program conditions) async{ return await Program.list([await puzzleForConditions(conditions), Program.fromInt(0)]); }