Allowed Sireum configuration file as sireum.properties in SIREUM_HOME.