ignore constructors when checking refinement #796