Sireum Core Components