improved test generation a bit

the call graph will force corestar to treat the simple cases first