Graph based proof strategy language