% Smoke test that forces the WAMVM bytecode VM path (no fallback).
%
% The test harness runs Flowlog with:
%   FLOWLOG_WAMVM_REQUIRE_VM=1 --engine wamvm
%
% so any fallback to the WAM-lite solver is treated as a failure.

q(1).
q(2).

r(1).
r(2).

p(X) :-
    q(X),
    r(X).