Procedure and type guard checks done