Towards feature interaction via stable models