property_with_logic

catkit2.simulator.property_with_logic(logic_func)