Hybrid supercompiler. Doesn't help
Now info about proved named props is printed