Static API generator for RestBugs