Text this: A formal method to detect possible P4 specific errors