Reworked prefiltering
Better warning message when A is not concrete