Add the ExtraChecks module to do occurs check and check the type of main