fix constraint:compile_simple_global
decode sas_plan (incomplete)