Procedure exlining: a transformation for improved system and behavioral synthesis