SBT generalization/maintenance is difficult to manage in HiRasmus