ignored generated files
Added context of type enforcement and search space explosion