Compiler for soft always constraint in planning