Add logic to parse rules from definition.kore (#4696)

Add logic to parse rules from definition.kore (#4696) #1144