[21/24] New test for inference rule  (!real -> !integer & !positive & !zero & ...)  (#749)
[21/24] New test for inference rule  (!real -> !integer & !positive & !zero & ...)  (#749)

Signed-off-by: Kirill Smelkov <b0eeaac46e675e9f95bf68c0df1041cf581c26f4@landau.phys.spbu.ru>
Signed-off-by: Ondrej Certik <b816faa87b7d35274d2e545c5be11ed4376f3ccf@certik.cz>
Signed-off-by: Mateusz Paprocki <4e51c28eba28c1534bcc4a6bd2cccd314d8bf749@gmail.com>

ahhda/sympy,jbbskinny/sympy,iamutkarshtiwari/sympy,hargup/sympy,hrashk/sympy,souravsingh/sympy,bukzor/sympy,oliverlee/sympy,atreyv/sympy,liangjiaxing/sympy,shipci/sympy,atreyv/sympy,ahhda/sympy,MechCoder/sympy,toolforger/sympy,kaushik94/sympy,skidzo/sympy,bukzor/sympy,Sumith1896/sympy,wanglongqi/sympy,emon10005/sympy,aktech/sympy,wyom/sympy,Arafatk/sympy,sahilshekhawat/sympy,fperez/sympy,AunShiLord/sympy,jerli/sympy,cccfran/sympy,skirpichev/omg,yukoba/sympy,atreyv/sympy,souravsingh/sympy,postvakje/sympy,yukoba/sympy,postvakje/sympy,shipci/sympy,shipci/sympy,kmacinnis/sympy,tovrstra/sympy,moble/sympy,wanglongqi/sympy,dqnykamp/sympy,sahmed95/sympy,abloomston/sympy,pbrady/sympy,jaimahajan1997/sympy,meghana1995/sympy,minrk/sympy,hazelnusse/sympy-old,mcdaniel67/sympy,Vishluck/sympy,ChristinaZografou/sympy,madan96/sympy,shikil/sympy,yukoba/sympy,saurabhjn76/sympy,VaibhavAgarwalVA/sympy,AkademieOlympia/sympy,jbbskinny/sympy,kaichogami/sympy,diofant/diofant,jerli/sympy,jamesblunt/sympy,ryanGT/sympy,VaibhavAgarwalVA/sympy,sampadsaha5/sympy,hrashk/sympy,beni55/sympy,MridulS/sympy,farhaanbukhsh/sympy,Mitchkoens/sympy,liangjiaxing/sympy,VaibhavAgarwalVA/sympy,jaimahajan1997/sympy,bukzor/sympy,lindsayad/sympy,grevutiu-gabriel/sympy,sampadsaha5/sympy,atsao72/sympy,kevalds51/sympy,postvakje/sympy,abhiii5459/sympy,asm666/sympy,drufat/sympy,ChristinaZografou/sympy,sahilshekhawat/sympy,cswiercz/sympy,amitjamadagni/sympy,MridulS/sympy,Arafatk/sympy,pbrady/sympy,lindsayad/sympy,pandeyadarsh/sympy,drufat/sympy,Vishluck/sympy,MechCoder/sympy,Gadal/sympy,farhaanbukhsh/sympy,liangjiaxing/sympy,lindsayad/sympy,kmacinnis/sympy,rahuldan/sympy,Shaswat27/sympy,cccfran/sympy,Designist/sympy,Titan-C/sympy,cccfran/sympy,emon10005/sympy,aktech/sympy,lidavidm/sympy,saurabhjn76/sympy,shikil/sympy,Arafatk/sympy,lidavidm/sympy,pandeyadarsh/sympy,jamesblunt/sympy,abloomston/sympy,abhiii5459/sympy,lidavidm/sympy,Designist/sympy,yashsharan/sympy,AunShiLord/sympy,sahilshekhawat/sympy,jamesblunt/sympy,beni55/sympy,garvitr/sympy,beni55/sympy,asm666/sympy,kumarkrishna/sympy,kaichogami/sympy,Sumith1896/sympy,pandeyadarsh/sympy,abhiii5459/sympy,kaushik94/sympy,Vishluck/sympy,kevalds51/sympy,jerli/sympy,Curious72/sympy,Sumith1896/sympy,Davidjohnwilson/sympy,ga7g08/sympy,garvitr/sympy,mcdaniel67/sympy,asm666/sympy,skidzo/sympy,debugger22/sympy,drufat/sympy,Davidjohnwilson/sympy,meghana1995/sympy,hazelnusse/sympy-old,jbaayen/sympy,moble/sympy,chaffra/sympy,hargup/sympy,hrashk/sympy,kumarkrishna/sympy,chaffra/sympy,KevinGoodsell/sympy,MechCoder/sympy,maniteja123/sympy,sahmed95/sympy,jbbskinny/sympy,AkademieOlympia/sympy,dqnykamp/sympy,madan96/sympy,farhaanbukhsh/sympy,vipulroxx/sympy,wyom/sympy,ahhda/sympy,chaffra/sympy,toolforger/sympy,ga7g08/sympy,Designist/sympy,cswiercz/sympy,garvitr/sympy,sampadsaha5/sympy,mcdaniel67/sympy,Shaswat27/sympy,yashsharan/sympy,pbrady/sympy,grevutiu-gabriel/sympy,ga7g08/sympy,rahuldan/sympy,dqnykamp/sympy,meghana1995/sympy,Titan-C/sympy,kaushik94/sympy,pernici/sympy,aktech/sympy,yashsharan/sympy,mafiya69/sympy,kmacinnis/sympy,abloomston/sympy,moble/sympy,atsao72/sympy,AunShiLord/sympy,jaimahajan1997/sympy,sahmed95/sympy,cswiercz/sympy,flacjacket/sympy,saurabhjn76/sympy,AkademieOlympia/sympy,minrk/sympy,maniteja123/sympy,kevalds51/sympy,Curious72/sympy,atsao72/sympy,grevutiu-gabriel/sympy,sunny94/temp,souravsingh/sympy,skidzo/sympy,Gadal/sympy,iamutkarshtiwari/sympy,kumarkrishna/sympy,Titan-C/sympy,Shaswat27/sympy,maniteja123/sympy,sunny94/temp,wanglongqi/sympy,debugger22/sympy,rahuldan/sympy,wyom/sympy,vipulroxx/sympy,debugger22/sympy,srjoglekar246/sympy,toolforger/sympy,mafiya69/sympy,oliverlee/sympy,mattpap/sympy-polys,hargup/sympy,madan96/sympy,shikil/sympy,iamutkarshtiwari/sympy,Mitchkoens/sympy,mafiya69/sympy,ChristinaZografou/sympy,Curious72/sympy,Mitchkoens/sympy,emon10005/sympy,sunny94/temp,Davidjohnwilson/sympy,vipulroxx/sympy,amitjamadagni/sympy,MridulS/sympy,Gadal/sympy,oliverlee/sympy,kaichogami/sympy