compiles attempt to PF+Regular