Fix bug with constants in rule heads.
Fixed binary.