Remove correct property files from omit
Change prop level
Merge pull request #71 from runtimeverification/change_config

Change config