See also https://melt.cs.umn.edu/ableC/ that has a similar goal.