semantic checks for predefs done