Remove split-on-every-assert by introducing ghost array input

Remove split-on-every-assert by introducing ghost array input #767