initial steps to search for profile for a callstmt in proceduredec in verifier