stop automatically generating BlockedB in cost file
fix the synthesis ignoring the env safety