def getTagBracketedProcedure(procedure):
 return getTagBracketedLine('procedureName', procedure)

def getTagBracketedProcedure ( procedure ) : return getTagBracketedLine ( 'procedureName' , procedure )
get line with a begin procedure tag .