Elminate Illegal States in Reason with Variants by Nik Graf