Simplified executeProcedure method a bit