tosem : Add allsat property checks