simplifiers for ABC; working towards IO support