Text this: SAT4BSC: a static analysis tool for BPEL source codes